BFO and DOLCE: So Far, So Close…

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smit

Some Ontological Principles for Designing Upper Level Lexical Resources

The purpose of this paper is to explore some semantic problems related to the use of linguistic ontologies in information systems, and to suggest some organizing principles aimed to solve such problems. The taxonomic structure of current ontologies is unfortunately quite complicated and hard to understand, especially for what concerns the upper levels. I will focus here on the problem of ISA overloading, which I believe is the main responsible of these difficulties. To this purpose, I will carefully analyze the ontological nature of the categories used in current upper-level structures, considering the necessity of splitting them according to more subtle distinctions or the opportunity of excluding them because of their limited organizational role.Comment: 8 pages - gzipped postscript file - A4 forma

Engineering ontologies: Foundations and theories from philosophy and logical theory

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’

Fondamenti ontologici per una scienza dei servizi

Nonostante la pervasività della nozione di servizio e le recenti proposte per una Scienza dei Servizi unificata, esistono ancora parecchie inconsistenze tra le varie definizioni di servizio in uso nelle diverse discipline (e spesso anche all'interno della stessa disciplina). In particolare, a dispetto del fatto che l'obiettivo generale di questa scienza dovrebbe essere di permettere a persone e calcolatori di interagire agevolmente con i servizi nella vita di tutti i giorni, molti approcci alla modellazione dei servizi in informatica (specialmente quelli centrati sui servizi web) sembrano focalizzarsi principalmente sugli aspetti connessi al flusso dati, per cui i servizi sono considerati come scatole nere che trasformano un ingresso in un’uscita, e che interoperano tra loro secondo modalità predefinite. Questo modello a scatola nera ha sicuramente i suoi vantaggi ma, stando a quanto dicono Petrie e Bussler, sembra funzionare bene sono all'interno di contesti omogenei, i cosiddetti parchi di servizi, dove l'interoperabilità è tecnicamente possibile solo perché i contenuti e le modalità di erogazione di ogni servizio sono predefiniti e condivisi da tutti i soggetti coinvolti

In the Defense of Ontological Foundations for Conceptual Modeling

Abstract not available

Semantics, Ontology and Explanation

The terms 'semantics' and 'ontology' are increasingly appearing together with 'explanation', not only in the scientific literature, but also in organizational communication. However, all of these terms are also being significantly overloaded. In this paper, we discuss their strong relation under particular interpretations. Specifically, we discuss a notion of explanation termed ontological unpacking, which aims at explaining symbolic domain descriptions (conceptual models, knowledge graphs, logical specifications) by revealing their ontological commitment in terms of their assumed truthmakers, i.e., the entities in one's ontology that make the propositions in those descriptions true. To illustrate this idea, we employ an ontological theory of relations to explain (by revealing the hidden semantics of) a very simple symbolic model encoded in the standard modeling language UML. We also discuss the essential role played by ontology-driven conceptual models (resulting from this form of explanation processes) in properly supporting semantic interoperability tasks. Finally, we discuss the relation between ontological unpacking and other forms of explanation in philosophy and science, as well as in the area of Artificial Intelligence

On weak truthmaking

Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion of truthmaking, we conduct an in depth analysis of Parsons’ account of weak truthmaking. By doing that, we expose some difficulties in his original formulation. As the main contribution of this paper, we propose solutions to address these issues which are then integrated in a new precise interpretation of truthmaking that is harmonizable wit

Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices

Cities can be seen as systems of urban artefacts interacting with human activities. Since cities in this sense need to be organized and coordinated, convergences and divergences between the "planned" and the "lived" city have always been of paramount interest in urban planning. The increasing amount of geo big data and the growing impact of Internet of Things (IoT) in contemporary smart city is pushing toward a re-conceptualization of urban systems taking into consideration the complexity of human behaviors. This work contributes to this view by proposing an ontological analysis of urban artefacts and their roles, focusing in particular on the difference between social roles and functional roles through the prism of social practices

Analysis of touch gestures for online child protection

AbstractThe growth of Internet and the pervasiveness of ICT have led to a radical change in social relationships. One of the drawbacks of this change is the exposure of individuals to threats during online activities. In this context, thetechno-regulationparadigm is inspiring new ways to safeguard legally interests by means of tools allowing to hamper breaches of law. In this paper, we focus on the exposure of individuals to specific online threats when interacting with smartphones. We propose a novel techno-regulatory approach exploiting machine learning techniques to provide safeguards against threats online. Specifically, we study a set of touch-based gestures to distinguish between underages or adults who is accessing a smartphone, and so to guarantee protection. To evaluate the proposed approach's effectiveness, we developed an Android app to build a dataset consisting of more than 9000 touch-gestures from 147 participants. We experimented bothsingle-viewandmulti-viewlearning techniques to find the best combination of touch-gestures able of distinguishing between adults and underages. Results show that the multi-view learning combining scrolls, swipes, and pinch-to-zoom gestures, achieves the best ROC AUC (0.92) and accuracy (88%) scores

Total or near-total thyroidectomy versus subtotal thyroidectomy for multinodular non-toxic goitre in adults

Background Total thyroidectomy (TT) and subtotal thyroidectomy (ST) are worldwide treatment options for multinodular non-toxic goitre in adults. Near TT, defined as a postoperative thyroid remnant less than 1 mL, is supposed to be a similarly effective but safer option than TT. ST has been shown to be marginally safer than TT, but it may leave an undetected thyroid cancer in place. Objectives The objective was to assess the effects of total or near-total thyroidectomy compared to subtotal thyroidectomy for multinodular non-toxic goitre. Search methods We searched the Cochrane Library, MEDLINE, PubMed, EMBASE, as well as the ICTRP Search Portal and ClinicalTrials.gov. The date of the last search was 18 June 2015 for all databases. No language restrictions were applied. Selection criteria Two review authors independently scanned the abstract, title or both sections of every record retrieved to identify randomised controlled trials (RCTs) on thyroidectomy for multinodular non-toxic goitre for further assessment. Data collection and analysis Two review authors independently extracted data, assessed studies for risk of bias and evaluated overall study quality utilising the GRADE instrument. We calculated the odds ratio (OR) and corresponding 95% confidence interval (CI) for dichotomous outcomes. A random-effects model was used for pooling data. Main results We examined 1430 records, scrutinized 14 full-text publications and included four RCTs. Altogether 1305 participants entered the four trials, 543 participants were randomised to TT and 762 participants to ST. A total of 98% and 97% of participants finished the trials in the TT and ST groups, respectively. Two trials had a duration of follow-up between 12 and 39 months and two trials a follow-up of 5 and 10 years, respectively. Risk of bias across studies was mainly unknown for selection, performance and detection bias. Attrition bias was generally low and reporting bias high for some outcomes. In the short-term postoperative period no deaths were reported for both TT and ST groups. However, longer-term data on all-cause mortality were not reported (1284 participants; 4 trials; moderate quality evidence). Goiter recurrence was lower in the TT group compared to ST. Goiters recurred in 0.2% (1/425) of the TT group compared to 8.4% (53/632) of the ST group (OR 0.05 (95% CI 0.01 to 0.21); P < 0.0001; 1057 participants; 3 trials; moderate quality evidence). Re-intervention due to goitre recurrence was lower in the TT group compared to ST. Re-intervention was necessary in 0.5% (1/191) of TT patients compared to 0.8% (3/379)of ST patients (OR 0.66 (95% CI 0.07 to 6.38); P = 0.72; 570 participants; 1 trial; low quality evidence). The incidence of permanent recurrent laryngeal nerve palsy was lower for ST compared with TT. Permanent recurrent laryngeal nerve palsy occurred in 0.8% (6/741) of ST patients compared to 0.7% (4/543) of TT patients (OR 1.28, (95% CI 0.38 to 4.36); P = 0.69; 1275 participants; 4 trials; low quality evidence). The incidence of permanent hypoparathyroidism was lower for ST compared with TT. Permanent hypoparathyroidism occurred in 0.1% (1/741) of ST patients compared to 0.6% (3/543) of TT patients (OR 3.09 (95% CI 0.45 to 21.36); P = 0.25; 1275 participants: 4 trials; low quality evidence). The incidence of thyroid cancer was lower for ST compared with TT. Thyroid cancer occurred in 6.1% (41/669) of ST patients compared to 7.3% (34/465)of TT patients (OR 1.32 (95% CI 0.81 to 2.15); P = 0.27; 1134 participants; 3 trials; low quality evidence). No data on health-related quality of life or socioeconomic effects were reported in the included studies. Authors' conclusions The body of evidence on TT compared with ST is limited. Goiter recurrence is reduced following TT. The effects on other key outcomes such as re-interventions due to goitre recurrence, adverse events and thyroid cancer incidence are uncertain. New long-term RCTs with additional data such as surgeons level of experience, treatment volume of surgical centres and details on techniques used are needed